Sharp and Meager Elements in Orthocomplete Homogeneous Effect Algebras
نویسنده
چکیده
We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x↓. For every element x of an orthocomplete homogeneous effect algebra and for every block B with x ∈ B, the interval [x↓, x] is a subset of B. For every meager element (that means, an element x with x↓ = 0), the interval [0, x] is a complete MV-effect algebra. As a consequence, the set of all meager elements of an orthocomplete homogeneous effect algebra forms a commutative BCKalgebra with the relative cancellation property. We prove that a complete lattice ordered effect algebra E is completely determined by the complete orthomodular lattice S(E) of sharp elements, the BCK-algebra M(E) of meager elements and a mapping h : S(E)→ 2M(E) given by h(a) = [0, a] ∩M(E).
منابع مشابه
Generalized homogeneous, prelattice and MV-effect algebras
We study unbounded versions of effect algebras. We show a necessary and sufficient condition, when lattice operations of a such generalized effect algebra P are inherited under its embeding as a proper ideal with a special property and closed under the effect sum into an effect algebra. Further we introduce conditions for a generalized homogeneous, prelattice or MV-effect effect algebras. We pr...
متن کاملEffect algebras with the maximality property
The maximality property was introduced in [9] in orthomodular posets as a common generalization of orthomodular lattices and orthocomplete orthomodular posets. We show that various conditions used in the theory of effect algebras are stronger than the maximality property, clear up the connections between them and show some consequences of these conditions. In particular, we prove that a Jauch–P...
متن کاملBasic decomposition of elements and Jauch-Piron effect algebras
A logical structure of propositions associated with a physical system,which can be xperimentally tested,form in the clasical case a Boolean algebra and in a quantum mechanical case an orthomodular lattice or poset (a quantum logic). Recently new logical structures for the presence of propositions, properties,questions or events with fuzziness,uncertainity or unsharpness has been introduced: Eff...
متن کاملCentral Elements, Blocks and Sharp Elements of Lattice Effect Algebras
For every central element z of a lattice effect algebra E, the interval [0, z] with the ⊕ operation inherited from E and the new unity z is a lattice effect algebra in its own right. We show connections between blocks, sharp elements and central elements of [0, z] and those of E. We prove that except for central elements, the intervals [0, z] are closed with respect to the ⊕-operation also for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Order
دوره 27 شماره
صفحات -
تاریخ انتشار 2010